Abstract type - PDFSEARCH.IO - Document Search Engine

Abstract type
Results: 1261

#	Item
471	Type Abstract Title Here (12 point) Author 1a, Author 2b, Author 3c, etc. aAffiliation 1, bAffiliation 2, Add to Reading List Source URL: crete15.org Language: English - Date: 2014-11-01 11:29:28 Abstract management Academia Abstract
472	45 Years of TRIGA Mark II in Slovenia Luka Snoj, Borut Smodiš “Jožef Stefan” Institute Jamova 39, SI-1000 Ljubljana, Slovenia , ABSTRACT Add to Reading List Source URL: www.djs.si Language: English - Date: 2012-07-16 15:37:46 Nuclear reactors Freeman Dyson TRIGA Research reactor Nuclear fuel Neutron source Neutron flux Pool-type reactor Control rod Nuclear physics Nuclear technology Energy
473	Type and Eect Systems via Abstract Interpretation Jer^ome Vouillon Pierre Jouvelot CRI, Ecole des Mines de Paris fvouillon, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:30:23 Formal methods Order theory Logic in computer science Models of computation Lambda calculus Abstract interpretation Interpretation Galois connection Type system Mathematics Theoretical computer science Logic
474	Fun with Fonts: Algorithmic Typography Erik D. Demaine and Martin L. Demaine MIT CSAIL, 32 Vassar St., Cambridge, MA 02139 {edemaine,mdemaine}@mit.edu Abstract. Over the past decade, we have designed five typefaces base Add to Reading List Source URL: erikdemaine.org Language: English - Date: 2014-04-06 23:42:36 Graphic design Typeface Univers Origami Font Fixed Type design Visual arts Typography Typesetting
475	Double click here to type your header Double click here to type your header This is the title of an example CGU extended abstract using Microsoft Word 11-point bold type Add to Reading List Source URL: cgu-ugc.ca Language: English - Date: 2015-02-20 17:14:43 Computing World Wide Web HTML element Cursor Framing Double-click Humanâ€“computer interaction HTML User interface techniques Software
476	Dedukti: a Universal Proof Checker Ronan Saillard MINES ParisTech Context The success of formal methods both as tools of practical importance and as objects of intellectual curiosity, has spaw Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-06-14 08:53:53 Theoretical computer science Lambda calculus Proof theory Functional languages Dependently typed programming Higher-order abstract syntax Dependent type Judgment Proof assistant Programming language theory Type theory Mathematical logic
477	Maintaining Verified Software Joe Leslie-Hurd Intel Corp. Abstract Add to Reading List Source URL: www.gilith.com Language: English - Date: 2013-09-14 18:02:18 Type theory Functional languages Data types Cabal Haskell Monad Type system QuickCheck Dependency hell Software Computing Functional programming
478	Optimal Compilation of HPF Remappings (Extended Abstract) Fabien Coelho Corinne Ancourt Centre de Recherche en Informatique, E cole des mines de Paris, 35, rue Saint-Honore, 77305 Fontainebleau Cedex, France. Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2011-03-24 11:57:43 Procedural programming languages High Performance Fortran Fortran Array data type Static single assignment form C Subroutine Computing Computer programming Software engineering
479	Noncommutative Polly Cracker-type cryptosystems and chosen-ciphertext security Tapan Rai ∗ and Stanislav Bulygin † Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2008-12-04 05:51:00 Chosen-ciphertext attack Ciphertext Polynomial ring NTRUEncrypt Cryptography Abstract algebra Public-key cryptography
480	Moving Scala ASTs one step closer to C c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia September 26th , 2011 Abstract Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-11-18 08:01:22 Functional languages Procedural programming languages Type theory Data types Subroutines Stack ATS ALGOL 68 Scala Computing Software engineering Programming language theory

UPDATE